<html>
<head><meta charset="utf-8"><title>weekly meeting 2019-06-27 #54818 · t-compiler · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/index.html">t-compiler</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html">weekly meeting 2019-06-27 #54818</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="169133926"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169133926" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169133926">(Jun 27 2019 at 13:22)</a>:</h4>
<p>Hi <span class="user-group-mention" data-user-group-id="897">@T-compiler/meeting</span> ; the triage meeting will be starting in 28 minutes</p>



<a name="169133982"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169133982" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169133982">(Jun 27 2019 at 13:22)</a>:</h4>
<p>I will be doing <a href="#narrow/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-06-27.20.2354818/near/169133959" title="#narrow/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-06-27.20.2354818/near/169133959">pre-triage in a parallel topic</a></p>



<a name="169136348"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169136348" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169136348">(Jun 27 2019 at 13:51)</a>:</h4>
<p>I'll be 30 minutes late <span aria-label="bike" class="emoji emoji-1f6b2" role="img" title="bike">:bike:</span> location change</p>



<a name="169136626"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169136626" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169136626">(Jun 27 2019 at 13:54)</a>:</h4>
<p>Oh wait I have mobile internet nowadays. Nevermind</p>



<a name="169137183"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169137183" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169137183">(Jun 27 2019 at 14:00)</a>:</h4>
<p>Okay, hi again <span class="user-group-mention" data-user-group-id="897">@T-compiler/meeting</span></p>



<a name="169137214"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169137214" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169137214">(Jun 27 2019 at 14:00)</a>:</h4>
<p>We'll be starting the meeting now, lets open the floor to announcements for the first few minutes.</p>



<a name="169137382"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169137382" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169137382">(Jun 27 2019 at 14:02)</a>:</h4>
<p>/me <code>*chirp*</code> <code>*chirp*</code></p>



<a name="169137431"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169137431" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169137431">(Jun 27 2019 at 14:03)</a>:</h4>
<p>My personal hope is that we'll actually get through all the nominated issues today; but since I am hoping to focus on those, I want to first draw attention a different set of issues we found during pre-triage: <a href="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aissue+is%3Aopen+label%3AP-high+-label%3AI-nominated+no%3Aassignee++label%3AT-compiler" target="_blank" title="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aissue+is%3Aopen+label%3AP-high+-label%3AI-nominated+no%3Aassignee++label%3AT-compiler">unassigned, P-high, and unnominated</a></p>



<a name="169137466"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169137466" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169137466">(Jun 27 2019 at 14:03)</a>:</h4>
<p>(I would personally like <a href="https://github.com/rust-lang/rust/issues/21934" target="_blank" title="https://github.com/rust-lang/rust/issues/21934">https://github.com/rust-lang/rust/issues/21934</a> to get bumped)</p>



<a name="169137528"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169137528" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169137528">(Jun 27 2019 at 14:04)</a>:</h4>
<p>there are "only" five of them left. Since they are not nominated, we aren't going to talk about them. But since they're P-high, they are surely hoping that someone will take them home and make them their pet issue</p>



<a name="169137550"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169137550" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169137550">(Jun 27 2019 at 14:04)</a>:</h4>
<p>/me watched Toy Story 4 last night and has been musing on making some sort of joke there</p>



<a name="169137571"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169137571" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169137571">(Jun 27 2019 at 14:04)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> as long as there are no spoilers <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="169137632"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169137632" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169137632">(Jun 27 2019 at 14:05)</a>:</h4>
<p>okay, if there aren't any announcements, lets see</p>



<a name="169137756"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169137756" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169137756">(Jun 27 2019 at 14:06)</a>:</h4>
<p>we have 8 <a href="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+label%3AI-nominated+label%3AT-compiler" target="_blank" title="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+label%3AI-nominated+label%3AT-compiler">nominated T-compiler issues</a> today</p>



<a name="169137803"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169137803" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169137803">(Jun 27 2019 at 14:07)</a>:</h4>
<p>lets start with "Rustdoc recursion limit issue" <a href="https://github.com/rust-lang/rust/issues/62059" target="_blank" title="https://github.com/rust-lang/rust/issues/62059">#62059</a></p>



<a name="169137841"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169137841" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169137841">(Jun 27 2019 at 14:07)</a>:</h4>
<p>it seems like <span class="user-mention" data-user-id="123586">@nagisa</span> , who was looking into this, might not be here right now</p>



<a name="169137935"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169137935" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169137935">(Jun 27 2019 at 14:08)</a>:</h4>
<p>oh wait, is this <em>just</em> a stable-to-nightly regression right now? Not a stable-to-beta one?</p>



<a name="169137965"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169137965" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169137965">(Jun 27 2019 at 14:08)</a>:</h4>
<p>For some reason I thought this was something that was going to affect the imminent release</p>



<a name="169137974"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169137974" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169137974">(Jun 27 2019 at 14:08)</a>:</h4>
<p>can we maybe, uhhh, just silently swallow the recursion limit tripping, during rustdoc?</p>



<a name="169138008"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169138008" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169138008">(Jun 27 2019 at 14:09)</a>:</h4>
<p>I was thinking more along the lines of raising the limit for rustdoc alone</p>



<a name="169138023"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169138023" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169138023">(Jun 27 2019 at 14:09)</a>:</h4>
<p>missing <code>Unpin</code> or w/e synthetic impls in the docs is less problematic than rustdoc not being able to build docs</p>



<a name="169138030"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169138030" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169138030">(Jun 27 2019 at 14:09)</a>:</h4>
<p>so they take the performance hit/blame</p>



<a name="169138055"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169138055" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169138055">(Jun 27 2019 at 14:09)</a>:</h4>
<p>even if no limit would suffice (but otherwise, yeah, rustdoc should just set higher limits anyway)</p>



<a name="169138084"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169138084" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169138084">(Jun 27 2019 at 14:10)</a>:</h4>
<p>oh, by swallow, you mean just treat it as "trait is not implemented", without signalling anything?</p>



<a name="169138130"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169138130" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169138130">(Jun 27 2019 at 14:10)</a>:</h4>
<p>pretty much yeah</p>



<a name="169138147"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169138147" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169138147">(Jun 27 2019 at 14:10)</a>:</h4>
<p>I suppose that's a third option beyond the ones that <span class="user-mention" data-user-id="123586">@nagisa</span> outlined</p>



<a name="169138165"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169138165" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169138165">(Jun 27 2019 at 14:10)</a>:</h4>
<p>it could hit an infinite recursion, which is what I meant earlier by "no limit would suffice"</p>



<a name="169138171"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169138171" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169138171">(Jun 27 2019 at 14:10)</a>:</h4>
<p>even if the code itself doesn't normally trigger it</p>



<a name="169138212"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169138212" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169138212">(Jun 27 2019 at 14:11)</a>:</h4>
<p>"no limit would suffice" is an ambiguous phrase.</p>



<a name="169138230"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169138230" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169138230">(Jun 27 2019 at 14:11)</a>:</h4>
<p>oh dear that took a bit to register</p>



<a name="169138247"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169138247" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169138247">(Jun 27 2019 at 14:11)</a>:</h4>
<p>I literally parsed it as "(no limit) aka infinity would suffice", not</p>



<a name="169138265"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169138265" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169138265">(Jun 27 2019 at 14:11)</a>:</h4>
<p>not "\not \exists limit such that limit suffices"</p>



<a name="169138274"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169138274" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169138274">(Jun 27 2019 at 14:11)</a>:</h4>
<p>anyway</p>



<a name="169138338"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169138338" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169138338">(Jun 27 2019 at 14:12)</a>:</h4>
<p>I think I'll assign this to <span class="user-mention" data-user-id="123586">@nagisa</span> for now</p>



<a name="169138548"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169138548" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169138548">(Jun 27 2019 at 14:14)</a>:</h4>
<p>okay I left a comment, assigned to @nagisa, and removed the nomination.</p>



<a name="169138573"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169138573" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169138573">(Jun 27 2019 at 14:14)</a>:</h4>
<p>next: "Incorrect span / broken rustfix: help: use <code>dyn</code>: <code>dyn #[dom_struct]</code>" <a href="https://github.com/rust-lang/rust/issues/61963" target="_blank" title="https://github.com/rust-lang/rust/issues/61963">#61963</a></p>



<a name="169138615"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169138615" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169138615">(Jun 27 2019 at 14:15)</a>:</h4>
<p>hmm does this actualy have anything to be discussed here?</p>



<a name="169138655"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169138655" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169138655">(Jun 27 2019 at 14:15)</a>:</h4>
<p>"how do we actually even figure out if spans are good"</p>



<a name="169138763"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169138763" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169138763">(Jun 27 2019 at 14:16)</a>:</h4>
<p>I don't know; I saw some suggest code in the borrow checker this week using string-matching that made me a sad <span aria-label="panda" class="emoji emoji-1f43c" role="img" title="panda">:panda:</span></p>



<a name="169138767"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169138767" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169138767">(Jun 27 2019 at 14:16)</a>:</h4>
<p>(I'm guessing some combination of looking at the sub-structure and making sure that the leftmost path component is in the snippet matching the span)</p>



<a name="169138793"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169138793" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169138793">(Jun 27 2019 at 14:16)</a>:</h4>
<p>I wish I could solve this at a more foundational level but it would take forever and proc macros might still find a way to screw with it</p>



<a name="169138854"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169138854" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169138854">(Jun 27 2019 at 14:17)</a>:</h4>
<p>(this is irrelevant to fixing that bug <em>now</em> though)</p>



<a name="169138857"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169138857" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169138857">(Jun 27 2019 at 14:17)</a>:</h4>
<p>David is assigned anyways</p>



<a name="169138860"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169138860" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169138860">(Jun 27 2019 at 14:17)</a>:</h4>
<p><span class="user-mention" data-user-id="116107">@davidtwco</span> you were just recently assigned to this issue; do you want to ask any Q's or add anything else while we are on this topic?</p>



<a name="169138862"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169138862" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169138862">(Jun 27 2019 at 14:17)</a>:</h4>
<p>Move on</p>



<a name="169138876"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169138876" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169138876">(Jun 27 2019 at 14:17)</a>:</h4>
<p>I'm good for just now, thanks.</p>



<a name="169138940"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169138940" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169138940">(Jun 27 2019 at 14:18)</a>:</h4>
<p>okay next up: "Soundness hole in pattern matching on enums with an uninhabited variant" <a href="https://github.com/rust-lang/rust/issues/61696" target="_blank" title="https://github.com/rust-lang/rust/issues/61696">#61696</a></p>



<a name="169138957"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169138957" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169138957">(Jun 27 2019 at 14:18)</a>:</h4>
<p>but this again probably doesn't need nomination anymore, right <span class="user-mention" data-user-id="119009">@eddyb</span> ?</p>



<a name="169138980"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169138980" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169138980">(Jun 27 2019 at 14:18)</a>:</h4>
<p>yeah we know the cause and I'm assigned</p>



<a name="169138983"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169138983" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169138983">(Jun 27 2019 at 14:18)</a>:</h4>
<p>okay. removing nominatino</p>



<a name="169139008"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169139008" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169139008">(Jun 27 2019 at 14:19)</a>:</h4>
<p>(why does math have to be so hard :P)</p>



<a name="169139060"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169139060" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169139060">(Jun 27 2019 at 14:19)</a>:</h4>
<p>next: "Self as default type isnt typechecked" <a href="https://github.com/rust-lang/rust/issues/61631" target="_blank" title="https://github.com/rust-lang/rust/issues/61631">#61631</a></p>



<a name="169139245"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169139245" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169139245">(Jun 27 2019 at 14:21)</a>:</h4>
<p>okay well this seems tricky</p>



<a name="169139342"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169139342" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169139342">(Jun 27 2019 at 14:22)</a>:</h4>
<p><code>struct Bug&lt;F: Fn(&amp;u8) = fn() -&gt; &amp;'static u8&gt; {</code> being accepted is really weird</p>



<a name="169139353"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169139353" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169139353">(Jun 27 2019 at 14:23)</a>:</h4>
<p>based on the <a href="https://github.com/rust-lang/rust/issues/61631#issuecomment-504207555" target="_blank" title="https://github.com/rust-lang/rust/issues/61631#issuecomment-504207555">last comment from alexreg</a>, my most immediate question is: Should we indeed just focus on use-site issues and not worry about the the definition site ones?</p>



<a name="169139372"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169139372" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169139372">(Jun 27 2019 at 14:23)</a>:</h4>
<p>It leaves a bad taste in my mouth and a funny feeling in my stomach</p>



<a name="169139377"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169139377" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169139377">(Jun 27 2019 at 14:23)</a>:</h4>
<p>but maybe that's love</p>



<a name="169139391"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169139391" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169139391">(Jun 27 2019 at 14:23)</a>:</h4>
<p>ugh this is like the type alias stuff</p>



<a name="169139396"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169139396" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169139396">(Jun 27 2019 at 14:23)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> if so then there's no bug?</p>



<a name="169139402"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169139402" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169139402">(Jun 27 2019 at 14:23)</a>:</h4>
<p>/me goes and cries in a corner</p>



<a name="169139476"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169139476" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169139476">(Jun 27 2019 at 14:24)</a>:</h4>
<p>I personally don't want to give up on definition site checks without looking into it a bit more first</p>



<a name="169139501"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169139501" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169139501">(Jun 27 2019 at 14:24)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> should we discuss some more at t-lang mtg?</p>



<a name="169139505"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169139505" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169139505">(Jun 27 2019 at 14:24)</a>:</h4>
<p>we should introduce warnings at the very least even if we can't ever make them hard errors, etc.</p>



<a name="169139548"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169139548" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169139548">(Jun 27 2019 at 14:25)</a>:</h4>
<p><span class="user-mention" data-user-id="126931">@centril</span> I don't know, it depends on whether we think we have enough information.</p>



<a name="169139571"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169139571" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169139571">(Jun 27 2019 at 14:25)</a>:</h4>
<p>at the very least, I'd want <span class="user-mention" data-user-id="116009">@nikomatsakis</span> to weigh in</p>



<a name="169139576"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169139576" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169139576">(Jun 27 2019 at 14:25)</a>:</h4>
<p>same for type aliases, I need to put my old PRs somewhere on my TODO list :(</p>



<a name="169139583"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169139583" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169139583">(Jun 27 2019 at 14:25)</a>:</h4>
<p>(<em>before</em> we allocate a T-lang meeting slot to it)</p>



<a name="169139598"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169139598" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169139598">(Jun 27 2019 at 14:25)</a>:</h4>
<p>unless we have someone who wants to work on adding warnings to things</p>



<a name="169139600"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169139600" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169139600">(Jun 27 2019 at 14:25)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span>  but niko will be there...? so they can weigh in?</p>



<a name="169139672"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169139672" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169139672">(Jun 27 2019 at 14:26)</a>:</h4>
<p>((I attempted to clarify that if possible, I dont' want to make niko have to respond on this matter without giving them the chance to investigate on their own.))</p>



<a name="169139695"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169139695" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169139695">(Jun 27 2019 at 14:26)</a>:</h4>
<p>ah</p>



<a name="169139714"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169139714" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169139714">(Jun 27 2019 at 14:27)</a>:</h4>
<p>okay, well, it sounds like <span class="user-mention" data-user-id="119009">@eddyb</span> has thoughts on this</p>



<a name="169139737"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169139737" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169139737">(Jun 27 2019 at 14:27)</a>:</h4>
<p><span class="user-mention" data-user-id="119009">@eddyb</span> maybe I can assign you and myself to this issue</p>



<a name="169139739"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169139739" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169139739">(Jun 27 2019 at 14:27)</a>:</h4>
<p>OK; Let's postpone it for the t-lang meeting then and maybe <span class="user-mention" data-user-id="119009">@eddyb</span> and <span class="user-mention" data-user-id="116009">@nikomatsakis</span>  can investigate</p>



<a name="169139748"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169139748" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169139748">(Jun 27 2019 at 14:27)</a>:</h4>
<p>to try to ensure that we follow up on it? (And Ill cc <span class="user-mention" data-user-id="116009">@nikomatsakis</span> on it too, I guess)</p>



<a name="169139760"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169139760" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169139760">(Jun 27 2019 at 14:27)</a>:</h4>
<p>as with type aliases, I feel like <em>at the very least</em>  we should warn about unusable things</p>



<a name="169139855"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169139855" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169139855">(Jun 27 2019 at 14:28)</a>:</h4>
<p>(<code>type X = Vec&lt;[u8]&gt;;</code> and <code>struct Foo&lt;X = [u8]&gt;(X);</code> as examples of both)</p>



<a name="169139931"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169139931" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169139931">(Jun 27 2019 at 14:29)</a>:</h4>
<p>okay, next nominated issue: "Incremental compilation results in linker error when method use is removed" <a href="https://github.com/rust-lang/rust/issues/59535" target="_blank" title="https://github.com/rust-lang/rust/issues/59535">#59535</a></p>



<a name="169140043"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169140043" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169140043">(Jun 27 2019 at 14:30)</a>:</h4>
<p>I'd give this to <span class="user-mention" data-user-id="124287">@mw</span> but they are on leave</p>



<a name="169140081"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169140081" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169140081">(Jun 27 2019 at 14:31)</a>:</h4>
<p><span class="user-mention" data-user-id="116466">@Zoxc</span> perhaps?</p>



<a name="169140232"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169140232" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169140232">(Jun 27 2019 at 14:32)</a>:</h4>
<p>I'm not sure; <span class="user-mention" data-user-id="116466">@Zoxc</span> did a bunch of parallel rustc stuff, of course; but have they done much with incremental?</p>



<a name="169140250"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169140250" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169140250">(Jun 27 2019 at 14:33)</a>:</h4>
<p>(yes)</p>



<a name="169140279"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169140279" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169140279">(Jun 27 2019 at 14:33)</a>:</h4>
<p>okay then, I'll tentatively assign to <span class="user-mention" data-user-id="116466">@Zoxc</span> and see</p>



<a name="169140371"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169140371" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169140371">(Jun 27 2019 at 14:34)</a>:</h4>
<p>(i am as usual in a general state of concern about how these bugs with incr-comp come up.)</p>



<a name="169140448"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169140448" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169140448">(Jun 27 2019 at 14:35)</a>:</h4>
<p>next nomination: 'Coherence can be bypassed by an indirect impl for a trait object' <a href="https://github.com/rust-lang/rust/issues/57893" target="_blank" title="https://github.com/rust-lang/rust/issues/57893">#57893</a></p>



<a name="169140533"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169140533" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169140533">(Jun 27 2019 at 14:36)</a>:</h4>
<p>this has gotten a lot of recent discussion, both on issue and on zulip</p>



<a name="169140570"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169140570" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169140570">(Jun 27 2019 at 14:37)</a>:</h4>
<p>it seems like <span class="user-mention" data-user-id="120791">@RalfJ</span> and <span class="user-mention" data-user-id="228094">@Ariel Ben-Yehuda</span> are making progress in defining what the problem is and the options for resolving it</p>



<a name="169140637"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169140637" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169140637">(Jun 27 2019 at 14:38)</a>:</h4>
<p><span class="user-mention" data-user-id="126931">@centril</span>  too :P</p>



<a name="169140665"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169140665" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169140665">(Jun 27 2019 at 14:38)</a>:</h4>
<p>We've booked a t-lang meeting slot for it</p>



<a name="169140723"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169140723" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169140723">(Jun 27 2019 at 14:39)</a>:</h4>
<p>should I remove T-compiler from the issue?</p>



<a name="169140740"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169140740" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169140740">(Jun 27 2019 at 14:39)</a>:</h4>
<p>at this point, is there much hope for a compier-based solution?</p>



<a name="169140743"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169140743" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169140743">(Jun 27 2019 at 14:39)</a>:</h4>
<p>(as opposed to some sort of language change...?)</p>



<a name="169140817"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169140817" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169140817">(Jun 27 2019 at 14:40)</a>:</h4>
<p>don't think so</p>



<a name="169140839"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169140839" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169140839">(Jun 27 2019 at 14:40)</a>:</h4>
<p>seems like a fundamental "type theory" based hole</p>



<a name="169140859"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169140859" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169140859">(Jun 27 2019 at 14:40)</a>:</h4>
<p>(here's link to associated <a href="#narrow/stream/131828-t-compiler/topic/.2357893.20coherence.20and.20traits/near/169073560" title="#narrow/stream/131828-t-compiler/topic/.2357893.20coherence.20and.20traits/near/169073560">zulip discussion</a>)</p>



<a name="169140881"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169140881" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169140881">(Jun 27 2019 at 14:41)</a>:</h4>
<p>Okay well my current inclination is to assign this to either <span class="user-mention" data-user-id="120791">@RalfJ</span> or <span class="user-mention" data-user-id="126931">@centril</span> or both</p>



<a name="169140895"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169140895" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169140895">(Jun 27 2019 at 14:41)</a>:</h4>
<p>just in terms of having someone charged with seeing progress made on this issue</p>



<a name="169140906"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169140906" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169140906">(Jun 27 2019 at 14:41)</a>:</h4>
<p>Niko was going to think about it iirc</p>



<a name="169140924"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169140924" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169140924">(Jun 27 2019 at 14:41)</a>:</h4>
<p>(I don't want to assign <span class="user-mention" data-user-id="228094">@Ariel Ben-Yehuda</span> nor <span class="user-mention" data-user-id="126804">@Ariel Ben-Yehuda</span> since I do not know what their availability is)</p>



<a name="169140974"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169140974" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169140974">(Jun 27 2019 at 14:42)</a>:</h4>
<p>I told them about our language team meeting on the 11th</p>



<a name="169141007"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141007" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141007">(Jun 27 2019 at 14:42)</a>:</h4>
<p><span class="user-mention" data-user-id="126931">@centril</span> I'm going to assign it to you, not because I expect you to implement a solution, but because I trust you will get fires going under peoples' butts about it.</p>



<a name="169141014"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141014" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141014">(Jun 27 2019 at 14:42)</a>:</h4>
<p>sgtm :P</p>



<a name="169141058"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141058" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141058">(Jun 27 2019 at 14:43)</a>:</h4>
<p>niko's assigned but they were supposed to delegate. I'm going to unassign niko.</p>



<a name="169141123"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141123" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141123">(Jun 27 2019 at 14:44)</a>:</h4>
<p>next nominated issue: "The compiler should report publicly exported type names if possible" <a href="https://github.com/rust-lang/rust/issues/21934" target="_blank" title="https://github.com/rust-lang/rust/issues/21934">#21934</a></p>



<a name="169141183"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141183" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141183">(Jun 27 2019 at 14:45)</a>:</h4>
<p>Another case where this is a big problem: <a href="https://internals.rust-lang.org/t/type-level-programming-how-to-provide-better-compiler-errors/10466/2" target="_blank" title="https://internals.rust-lang.org/t/type-level-programming-how-to-provide-better-compiler-errors/10466/2">https://internals.rust-lang.org/t/type-level-programming-how-to-provide-better-compiler-errors/10466/2</a></p>



<a name="169141193"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141193" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141193">(Jun 27 2019 at 14:45)</a>:</h4>
<p>so this is the classic issue with our diagnostics reporting an item according to the path to its definition, and not the path for how the local code is actually able to use it.</p>



<a name="169141199"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141199" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141199">(Jun 27 2019 at 14:45)</a>:</h4>
<p>(that's the one I brought to your attention during all hands in Berlin)</p>



<a name="169141213"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141213" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141213">(Jun 27 2019 at 14:45)</a>:</h4>
<p>Yep</p>



<a name="169141224"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141224" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141224">(Jun 27 2019 at 14:45)</a>:</h4>
<p>I had mused on the ticket about whether we could work around this in a limited fashion via an attribute on such items</p>



<a name="169141247"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141247" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141247">(Jun 27 2019 at 14:45)</a>:</h4>
<p>(also reporting the RHS of type aliases rather than the alias name)</p>



<a name="169141250"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141250" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141250">(Jun 27 2019 at 14:45)</a>:</h4>
<p>that obviously would not resolve the problem for crates in the wild that re-export  items from other crates</p>



<a name="169141313"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141313" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141313">(Jun 27 2019 at 14:46)</a>:</h4>
<p>but: How many cases do we think such an attribute <em>could</em> resolve?</p>



<a name="169141330"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141330" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141330">(Jun 27 2019 at 14:46)</a>:</h4>
<p>Feels like a compiler bug, not something a language change should fix</p>



<a name="169141355"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141355" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141355">(Jun 27 2019 at 14:46)</a>:</h4>
<p>yes, but if you're saying its high priority to fix,and its hard to fix</p>



<a name="169141384"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141384" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141384">(Jun 27 2019 at 14:47)</a>:</h4>
<p>then sometimes band-aids are the right worse-is-better type approach, at least for short-term?</p>



<a name="169141399"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141399" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141399">(Jun 27 2019 at 14:47)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span>  if it's a <code>rustc_</code> attribute, sure <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="169141503"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141503" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141503">(Jun 27 2019 at 14:48)</a>:</h4>
<p>so maybe a reasonable next step could be to try to estimate how many of the issues that point to this ticket could be resolved by that.</p>



<a name="169141522"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141522" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141522">(Jun 27 2019 at 14:48)</a>:</h4>
<p>I.e. if its almost always a <code>core/std</code> thing</p>



<a name="169141524"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141524" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141524">(Jun 27 2019 at 14:48)</a>:</h4>
<p>this is related to printing shorter paths when a prefix is in scope, isn't it?</p>



<a name="169141529"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141529" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141529">(Jun 27 2019 at 14:48)</a>:</h4>
<p>then a <code>rustc_</code> attribute would be reasonable.</p>



<a name="169141545"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141545" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141545">(Jun 27 2019 at 14:48)</a>:</h4>
<p><span class="user-mention" data-user-id="119009">@eddyb</span> I suppose its related to that</p>



<a name="169141577"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141577" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141577">(Jun 27 2019 at 14:49)</a>:</h4>
<p>(with the elephant in the room being propagating that information around)</p>



<a name="169141596"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141596" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141596">(Jun 27 2019 at 14:49)</a>:</h4>
<p>but I think the real point is that we often print paths that are simply unusable -- and its not a matter of trying to provide the minimal path</p>



<a name="169141692"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141692" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141692">(Jun 27 2019 at 14:50)</a>:</h4>
<p>(Friendly time check: there are 10 minutes left in the meeting)</p>



<a name="169141697"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141697" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141697">(Jun 27 2019 at 14:50)</a>:</h4>
<p>the final question is whether this should be P-high for the compiler team</p>



<a name="169141704"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141704" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141704">(Jun 27 2019 at 14:50)</a>:</h4>
<p>yeah but if we printed contextual paths then they would likely end up with an usable path being printed</p>



<a name="169141715"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141715" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141715">(Jun 27 2019 at 14:50)</a>:</h4>
<p>Ideally we would print the path in scope; -- it says E-hard but there's not a lot of info about why that is</p>



<a name="169141721"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141721" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141721">(Jun 27 2019 at 14:50)</a>:</h4>
<p>(you could argue there are cases in which it's hard to pick a good context)</p>



<a name="169141734"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141734" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141734">(Jun 27 2019 at 14:50)</a>:</h4>
<blockquote>
<p>yeah but if we printed contextual paths then they would likely end up with an usable path being printed</p>
</blockquote>
<p>yes of course; but I think the point is that is the E-hard approach</p>



<a name="169141740"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141740" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141740">(Jun 27 2019 at 14:50)</a>:</h4>
<p><span class="user-mention" data-user-id="126931">@centril</span> massive amounts of infrastructure needed to track and propagate the information</p>



<a name="169141767"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141767" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141767">(Jun 27 2019 at 14:51)</a>:</h4>
<p>it's like adding <code>Span</code>s to a compiler without them, almost :P</p>



<a name="169141799"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141799" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141799">(Jun 27 2019 at 14:51)</a>:</h4>
<p>Personally, I think this should be P-super-high for wg-diagnostics, but that's just me <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="169141814"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141814" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141814">(Jun 27 2019 at 14:51)</a>:</h4>
<p>right, and this might reflect a weakness in our labelling system</p>



<a name="169141880"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141880" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141880">(Jun 27 2019 at 14:52)</a>:</h4>
<p>is WG-diagnostics the same thing as WG-compiler-errors ?</p>



<a name="169141908"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141908" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141908">(Jun 27 2019 at 14:52)</a>:</h4>
<p>anyway I do want to move along</p>



<a name="169141924"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141924" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141924">(Jun 27 2019 at 14:52)</a>:</h4>
<p>so that we can actually get through the whole list of nominated issues (!)</p>



<a name="169141946"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141946" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141946">(Jun 27 2019 at 14:53)</a>:</h4>
<p>so I'll leave the nominated tag on <a href="https://github.com/rust-lang/rust/issues/21934" target="_blank" title="https://github.com/rust-lang/rust/issues/21934">#21934</a></p>



<a name="169141966"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141966" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141966">(Jun 27 2019 at 14:53)</a>:</h4>
<p>and maybe we can make more progress in this discussion asychronously before next week</p>



<a name="169141990"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169141990" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169141990">(Jun 27 2019 at 14:53)</a>:</h4>
<p>last nominated issue: ""immutable field" errors are confusing when the handle is mutable, should describe why it is immutable" <a href="https://github.com/rust-lang/rust/issues/18150" target="_blank" title="https://github.com/rust-lang/rust/issues/18150">#18150</a></p>



<a name="169142104"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169142104" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169142104">(Jun 27 2019 at 14:54)</a>:</h4>
<p>I nominated this because I was not convinced that it warranted a P-high prioritization</p>



<a name="169142140"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169142140" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169142140">(Jun 27 2019 at 14:55)</a>:</h4>
<p>Though since I nominated it, I think I looked at a potentially related issue</p>



<a name="169142170"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169142170" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169142170">(Jun 27 2019 at 14:55)</a>:</h4>
<p>namely of how our diagnosics fall down hard when you have e.g. a coercion from <code>&amp;mut &amp;T</code> to <code>&amp;T</code></p>



<a name="169142197"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169142197" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169142197">(Jun 27 2019 at 14:55)</a>:</h4>
<p>(and it ends up suggesting that you write <code>&amp;mut mut expr</code>)</p>



<a name="169142285"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169142285" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169142285">(Jun 27 2019 at 14:56)</a>:</h4>
<p>the main connection I'm seeing is that this may come down to having better infrastructure for explaining where auto-ref and auto-derefs  are injected and why</p>



<a name="169142313"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169142313" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169142313">(Jun 27 2019 at 14:57)</a>:</h4>
<p>Still doesn't necessary mean that its P-high, though ...</p>



<a name="169142338"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169142338" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169142338">(Jun 27 2019 at 14:57)</a>:</h4>
<p><span class="user-mention" data-user-id="126931">@centril</span> , what do you think of <em>this</em> case (<a href="https://github.com/rust-lang/rust/issues/18150" target="_blank" title="https://github.com/rust-lang/rust/issues/18150">#18150</a>) for WG-diagnostics ?</p>



<a name="169142436"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169142436" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169142436">(Jun 27 2019 at 14:58)</a>:</h4>
<p>Not sure <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="169142438"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169142438" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169142438">(Jun 27 2019 at 14:58)</a>:</h4>
<p>I think it is high prio for diagnostics but we're operating on a best effort basis, don't know how long it'll take for us to reach this</p>



<a name="169142455"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169142455" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169142455">(Jun 27 2019 at 14:58)</a>:</h4>
<p>It is super misleading when you get it</p>



<a name="169142457"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169142457" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169142457">(Jun 27 2019 at 14:58)</a>:</h4>
<p>One thing I'm definitely taking away from this discussion</p>



<a name="169142473"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169142473" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169142473">(Jun 27 2019 at 14:58)</a>:</h4>
<p>Per wg prio labels?</p>



<a name="169142486"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169142486" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169142486">(Jun 27 2019 at 14:59)</a>:</h4>
<p>is, on a meta level, the P labels are failing when it comes to per-WG vs per-team priorities</p>



<a name="169142488"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169142488" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169142488">(Jun 27 2019 at 14:59)</a>:</h4>
<p>yes, exactly</p>



<a name="169142501"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169142501" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169142501">(Jun 27 2019 at 14:59)</a>:</h4>
<p>luckily we can talk about <em>that</em> tomorrow.</p>



<a name="169142505"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169142505" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169142505">(Jun 27 2019 at 14:59)</a>:</h4>
<p>which reminds me</p>



<a name="169142520"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169142520" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169142520">(Jun 27 2019 at 14:59)</a>:</h4>
<p>I should have included this in the announcements, sorry all</p>



<a name="169142527"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169142527" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169142527">(Jun 27 2019 at 14:59)</a>:</h4>
<p>last minute announcement</p>



<a name="169142530"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169142530" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169142530">(Jun 27 2019 at 14:59)</a>:</h4>
<p>(literally)</p>



<a name="169142543"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169142543" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169142543">(Jun 27 2019 at 14:59)</a>:</h4>
<p>tomorrow we have a steering meeting</p>



<a name="169142590"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169142590" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169142590">(Jun 27 2019 at 15:00)</a>:</h4>
<p>topic is triage and maintenance</p>



<a name="169142618"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169142618" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169142618">(Jun 27 2019 at 15:00)</a>:</h4>
<p>meta data for meeting is here : <a href="https://github.com/rust-lang/compiler-team/issues/90" target="_blank" title="https://github.com/rust-lang/compiler-team/issues/90">https://github.com/rust-lang/compiler-team/issues/90</a></p>



<a name="169142650"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169142650" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169142650">(Jun 27 2019 at 15:00)</a>:</h4>
<p>and some notes (I think at this point authored by niko myself and centril) are here: <a href="https://hackmd.io/dvgegmdgQVSMbC4rcjG6EA" target="_blank" title="https://hackmd.io/dvgegmdgQVSMbC4rcjG6EA">https://hackmd.io/dvgegmdgQVSMbC4rcjG6EA</a></p>



<a name="169142716"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169142716" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169142716">(Jun 27 2019 at 15:01)</a>:</h4>
<p>so I'm going to go ahead and add this WG-/T - prioritization as sub-bullet there now</p>



<a name="169142728"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169142728" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169142728">(Jun 27 2019 at 15:01)</a>:</h4>
<p>but, before I do that:</p>



<a name="169142746"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169142746" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169142746">(Jun 27 2019 at 15:01)</a>:</h4>
<p>Thank you to everyone in <span class="user-group-mention" data-user-group-id="897">@T-compiler/meeting</span> for attending today!</p>



<a name="169142823"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169142823" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169142823">(Jun 27 2019 at 15:02)</a>:</h4>
<p>Thanks for running the meeting <span class="user-mention" data-user-id="116083">@pnkfelix</span>!</p>



<a name="169144835"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169144835" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nagisa <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169144835">(Jun 27 2019 at 15:24)</a>:</h4>
<blockquote>
<p>even if no limit would suffice (but otherwise, yeah, rustdoc should just set higher limits anyway)</p>
</blockquote>
<p><span class="user-mention" data-user-id="119009">@eddyb</span> do you happen to know how to selectively ignore errors like that in Rust? The methods do not return a <code>Result</code> here and use your typical rustc diagnostics mechanism.</p>



<a name="169146195"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-06-27%20%2354818/near/169146195" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-06-27.20.2354818.html#169146195">(Jun 27 2019 at 15:42)</a>:</h4>
<p><span class="user-mention" data-user-id="123586">@nagisa</span> I'd ask <span class="user-mention" data-user-id="116083">@pnkfelix</span> or <span class="user-mention" data-user-id="116009">@nikomatsakis</span>. it should be possible but you might have to go around some of the higher-level APIs (there is code in <code>rustc::traits::auto_traits</code> btw that exists <em>only</em> for rustdoc, and was lifted from it, that could be doing something with results internally)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>